Term Gallery logo

Значения термина functional calculus на английском

A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

        Синонимы
        Examples for "predicate calculus"
        Examples for "predicate calculus"
        1
        I'd be quite interested in hearing about her research at second hand, from someone who obviously understands so much about predicate calculus.
        The Atrocity Archives
        2
        They start with an introduction to set theory and first order predicate calculus, then tackle the lambda calculus and the halting problem.
        The Rhesus Chart
        3
        The gears in his head are whirring as they mesh at high speed, building a Babbage-engine picture of a proposition in predicate calculus.
        The Rhesus Chart